1. La semantica formale dei linguaggi di programmazione :
المؤلف: Glynn Winskel ; edizione italiana a cura di Franco Turini ; premessa di Ugo Montanari e Franco Turini.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Elaboratori elettronici-- Linguaggi
